viewSelector: Remove unused setActivePage

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index ffe4630c4486c89b1bae5d148a45423544b35945..be046b1f011d8f4a7da67559476165e6ca7ecb74 100644 (file)
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -475,13 +475,6 @@ const ViewSelector = new Lang.Class({
             return ViewPage.SEARCH;
     },
 
-    setActivePage: function(page) {
-        if (page == ViewPage.WINDOWS)
-            this._showPage(this._workspacesPage);
-        else
-            this._showPage(this._appsPage);
-    },
-
     fadeIn: function() {
         let actor = this._activePage;
         Tweener.addTween(actor, { opacity: 255,